constraint logic programming

约束逻辑程式设计